?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
11336 - DRM (Maratón colombiana, grafos, DFS, fuerza bruta)
[andmenj-acm.git] / 11203 - Can you decide it for ME / out2.txt
blob56e8c6b4ad5326385739fd1bb7c07a73a2a196f9
1 no-theorem\r
2 no-theorem\r
3 no-theorem\r
4 theorem\r
5 no-theorem\r
6 no-theorem\r
7 no-theorem\r
8 no-theorem\r
9 no-theorem\r
10 theorem\r
andmej's solutions for problems from the UVa Online Judge (Valladolid)